$\lambda$$x$.$A$($x$) \textbf{is Primitive}